ge_gt_wf_com 12,41
These wf lemmas are used by EqCD
during rewriting to ensure that subterms 
come out in right order.

origin